Skip to content

Add schema-based rules for tools data of package index #202

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Jul 7, 2021
Merged

Add schema-based rules for tools data of package index #202

merged 1 commit into from
Jul 7, 2021

Conversation

per1234
Copy link
Contributor

@per1234 per1234 commented Jul 7, 2021

These are the JSON schema-based rules to check the tool level data.

@per1234
Add schema-based rules for tools data of package index
2014a85 
These are the JSON schema-based rules to check the tool level data.
@per1234 per1234 added type: enhancement Proposed improvement topic: code Related to content of the project itself labels Jul 7, 2021
@per1234 per1234 merged commit bb9e831 into arduino:main Jul 7, 2021
@per1234 per1234 deleted the package-index-tools-rules branch July 7, 2021 13:00
@per1234 per1234 self-assigned this Nov 20, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@umbynos umbynos umbynos approved these changes

@ubidefeo ubidefeo Awaiting requested review from ubidefeo

@silvanocerza silvanocerza Awaiting requested review from silvanocerza

@rsora rsora Awaiting requested review from rsora

Assignees

@per1234 per1234

Labels
topic: code Related to content of the project itself type: enhancement Proposed improvement
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@per1234 @umbynos